Checking the Consistency of Combined Qualitative Constraint Networks
نویسندگان
چکیده
We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations and a form of spatio-temporal reasoning. In particular, we identify sufficient conditions ensuring the polynomiality of consistency checking, and we use them to find tractable subclasses.
منابع مشابه
Décision de la cohérence des réseaux de contraintes qualitatives combinés
We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations, multiscale reasoning and a form of spatio-temporal reasoning. In particular, we identify sufficient conditions ensuring the polynomiality of consistency checking, and we use them to find tractable subclasses. MOTS-CLÉS : réseaux ...
متن کاملEfficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction
Partial closure under weak composition, or partial -consistency for short, is essential for tackling fundamental reasoning problems associated with qualitative constraint networks, such as the satisfiability checking problem, and therefore it is crucial to be able to enforce it as fast as possible. To this end, we propose a new algorithm, called PWC, for efficiently enforcing partial -consisten...
متن کاملEfficient Path Consistency Algorithm for Large Qualitative Constraint Networks
We propose a new algorithm called DPC+ to enforce partial path consistency (PPC) on qualitative constraint networks. PPC restricts path consistency (PC) to a triangulation of the underlying constraint graph of a network. As PPC retains the sparseness of a constraint graph, it can make reasoning tasks such as consistency checking and minimal labelling of large qualitative constraint networks muc...
متن کاملChecking the Integrity of Spatial Semantic Integrity Constraints∗
Integrity constraints play a major role when the quality of spatial data is checked by automatic procedures. Nevertheless the possibilities of checking the internal consistency of the integrity constraints themselves are hardly researched yet. This work analyses the applicability of reasoning techniques like the composition of spatial relations and constraint satisfaction in networks of relatio...
متن کاملUsing SparQ for Matching Sketch Maps
Qualitative spatial relations have been argued to play an important role in the interpretation and analysis of sketch maps as typically only rough qualitative categories are preserved in these kinds of externalized spatial representations. In this paper, we look at processing sketch maps from a qualitative spatial reasoning (QSR) perspective. In particular in focus is the matching problem of fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017